automating consistency checking meaning in English
自动连续性核对
Examples
- 15 heitmeyer c l , jeffords r d , labaw b g . automated consistency checking of requirements specification . acm trans . software engineering and methodology , july 1996 , 5 : 231 - 261
具体来说就是，提出软件需求可以由想要的软件将处于的环境，期望中的该软件将与环境发生的交互，以及这些交互之间的因果关系来刻画。